sentential calculus

[senˈtenʃəl ˈkælkjələs]
un. 命题演算;语句演算
[网络] 句子演算

热门查询